1. Applications of declarative programming and knowledge management
Author: Salvador Abreu, Dietmar Seipel (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Declarative programming, Congresses.

2. Applications of declarative programming and knowledge management
Author: / Dietmar Seipel ... [et al.] (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Declarative programming--Congresses.,Knowledge management--Congresses.,Logic programming--Congresses.
Classification :
QA76
.
615
.
I57
2004


3. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
Author: Dietmar Seipel... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3392


4. Artificial intelligence applications in chemistry :
Author: Thomas H. Pierce, Bruce A. Hohne, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Chemistry-- Data processing, Congresses.,Artificial Intelligence.,Chemistry.,Expert Systems.
Classification :
QD39
.
3
.
E46
A78
1986


5. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.

6. Declarative agent languages and technologies
Author: / Joao Leite 7Andrea Omicini Leon Sterling Paolo Torroni (Eds)
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computer) -- Congresses
Classification :
QA
76
.
7
.
I5775
2003


7. Declarative agent languages and technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers
Author: Joao Leite... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Declarative programming
Classification :
QA
76
.
L28
Vol
.
3476


8. Declarative agent languages and technologies IX :
Author: Chiaki Sakama [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming languages -- Congresses.,Informatique.,Intelligent agents (Computer software) -- Congresses.
Classification :
QA76
.
76
.
I58
C453
2012


9. Declarative agent languages and technologies V
Author: / Matteo Baldoni ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses
Classification :
QA
,
76
.
76
,.
I58
,
D43
,
2007


10. Declarative agent languages and technologies V
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Congresses. ; Declarative programming ; Congresses. ; Intelligent agents (Computer software) ;

11. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
Author: Joao Leite...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
Classification :
QA
76
.
L28
Vol
.
2990


12. Declarative programming and knowledge management :
Author: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
Classification :
QA76
.
615


13. Declarative systems
Author: / edited by G. David, R. T. Boute, Boute, B. D. Shriver
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic data processign - Distributed processing -- Congresses,Parallel Processing (Electronic computers) -- Congresses,Programming languages ( Electronic computer) --Semantics -- Congresses
Classification :
QA
76
.
9
.
D5I343
1988


14. FDPE'05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Declarative programming,Congresses ، Functional programming )Computer science(
Classification :
QA
76
.
62
.
A383
2005


15. Formal techniques for distributed objects, components, and systems :
Author: Jorge A. Pérez, Nobuko Yoshida (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
Classification :
QA76
.
9
.
D5
.
F67
2019


16. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.

17. PPDP '07 : proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Wroclaw, Poland, July 14-16, 2007
Author: sponsored by: SIGPLAN
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Declarative programming
Classification :
QA
76
.
615
.
P6
2007


18. Practical Aspects of Declarative Languages
Author: \ Enrico Pontelli, Tran Cao Son (eds)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Declarative programming languages -- Congresses.,Declarative programming -- Congresses.,Programming Languages, Compilers, Interpreters.,زبان های برنامه نویسی اعلانی -- کنگره ها,برنامه نویسی اعلانی -- کنگره ها
Classification :
QA
76
.
615
.
P732
2015
E-Book
,


19. Practical aspects of declarative languages :
Author: Pascal Van Hentenryck (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
7
.
P32
2006


20. Practical aspects of declarative languages
Author: Andy Gill, Terrance Swift (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
615
.
P33
2009eb

